SICSA Distinguished Visiting Fellow: Dr Claus-Peter Wirth Final report Background Dr Claus-Peter Wirth has been a member of the Association for Automated Reasoning since 1994 and has worked in automated and human-oriente

Source URL: www.sicsa.ac.uk

PDF Document

Source URL: ceur-ws.org

• Automated theorem proving
• Usability
• KeY
• Automated reasoning
• Proof assistant
• Reasoning system
• Formal verification
• E theorem prover
• Isabelle
• Software testing
• Geoff Sutcliffe
• Software verification

Automated Equational Reasoning in Nondeterministic λ-Calculi Modulo Theories H∗ by Fritz H. Obermeyer 2009:05:01

Source URL: fritzo.org

The Interaction of Representation and Reasoning Alan Bundy School of Informatics, University of Edinburgh UK Ontology Network Meeting

Source URL: dream.inf.ed.ac.uk

• Automated theorem proving
• Logic programming
• Unification

First-order reasoning in Yices2 Master Thesis in Computer Science Simon Cruanes∗ supervised by Bruno Dutertre †, Viktor Kuncak ‡, Benjamin Werner § SRI International, Menlo Park, CA September 2011 – March 2012

Source URL: cedeela.fr

• Automated theorem proving
• Model theory
• Logic in computer science
• Constraint programming
• NP-complete problems
• Boolean satisfiability problem
• Satisfiability Modulo Theories
• DPLL algorithm
• Interpretation
• Theoretical computer science
• Logic
• Mathematical logic

Logtk: A Logic ToolKit for Automated Reasoning and its Implementation Simon Cruanes ´ Ecole polytechnique and INRIA, 23 Avenue d’Italie, 75013 Paris, France

Source URL: cedeela.fr

Hype vs. Reality: AI/Robotics and Impact on Employability, March 19, 2014 Ernest Davis, New York University Research: Automated commonsense reasoning, particularly spatial and physical reasoning. Unlikely to have signifi

Source URL: curriculumredesign.org

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A list-machine benchmark for mechanized metatheory Andrew W. Appel · Robert Dockins · Xavier Leroy

Source URL: cristal.inria.fr

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) The Incredible ELK From Polynomial Procedures to Efficient Reasoning with EL Ontologies Yevgeny Kazakov · Markus Krötzsch · František Sim

Source URL: elk.semanticweb.org

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Formal verification of a C-like memory model and its uses for verifying program transformations Xavier Leroy · Sandrine Blazy

Source URL: cristal.inria.fr